41. Conclog : a methodological approach to concurrent logic programming
پدیدآورنده : Jacquet, Jean-Marie
کتابخانه: (طهران)
موضوع : ، Logic programming
رده :
QA
76
.
L28
Vol
.
556
42. DLP : a language for distributed logic programming : design, semantics, and implementation
پدیدآورنده : Eliens, Anton.
کتابخانه: (طهران)
موضوع : Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
43. Digital computer programming; logic and language
پدیدآورنده : / Charles M. Thatcher and Anthony J. Capato
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,FORTRAN (Computer program language)
رده :
651
.
8
Th-D
44. Digital computer programming: logic and language
پدیدآورنده : Thatcher , Charles Manson, 2291-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Electronic digital computers - Programming,، FORTRAN )computer program language(
رده :
QA
76
.
5
.
T5
45. Digital logic simulation and CPLD programming
پدیدآورنده : / Steve Waterman
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : م‍داره‍ای م‍ن‍طق‍ی -- طرح و س‍اخ‍ت‍م‍ان -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,م‍داره‍ای م‍ن‍طق‍ی -- ش‍ب‍ی‍ه‌س‍ازی ک‍ام‍پ‍ی‍وت‍ری -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,-- Logic programming دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,وی. اچ. دی . ال (زبان ت‍وص‍ی‍ف‍ی س‍خ‍ت‌اف‍زار)
رده :
TK
۷۸۶۸
/
م
۴۸
و
۲ ۱۳۸۲
46. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
47. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
48. Essentials of logic programming
پدیدآورنده : Hogger, Christopher John
کتابخانه: (طهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
H64
1990
49. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: (کرمان)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
50. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: (کرمان)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
51. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
پدیدآورنده : P. Schroeder-Heister, ed
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
475
52. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E97
1991
53. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings
پدیدآورنده : L.H. Eriksson, L. Hallnas, P. Schroeder-Heister )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
596
54. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
پدیدآورنده : Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1050
55. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
پدیدآورنده : Roy Dyckhoff )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
798
56. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده : ELP '29 )2991: Bologna, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E47
1992
57. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده : E. Lamma, P. Mello, eds
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
660
58. Fortran logic and programming
پدیدآورنده : Fritz A.McCameron
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (طهران)
موضوع : Fortran)Computer-Program language(
59. Foundations of Logic Programming
پدیدآورنده : by John Wylie Lloyd.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
6
B956
1984
60. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده : M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
306
